Language of mathematics - PDFSEARCH.IO - Document Search Engine

Language of mathematics
Results: 1871

#	Item
271	§1 1. Printing primes: An example of WEB. The following program is essentially the same as Edsger Dijkstra’s “first example of step-wise program composition,” found on pages 26–39 of his Notes on Structured Prog Add to Reading List Source URL: www.literateprogramming.com Language: English - Date: 2007-10-09 02:24:04 Programming language theory Prime number ALGOL 68 C++ classes Number theory Formula for primes On-Line Encyclopedia of Integer Sequences Integer sequences Mathematics Numbers
272	A Guide for the Unwilling S User Patrick Burns∗ 23rd February 2003 Introduction Two versions of the S language are available—a free version called R, and a commercial version called S-PLUS. Though there are differenc Add to Reading List Source URL: cran.stat.upd.edu.ph Language: English - Date: 2003-02-25 11:31:55 Abstract algebra Vectors Matrix Euclidean vector Spreadsheet Vector space Vector R C Algebra Mathematics Linear algebra
273	Logic and the Methodology of Science June 2004 Preliminary Exam August 23, a) Outline a proof that the theory of rings is not decidable. (b) Show that the set V of all valid formulae in the language of rings is Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:20 Metalogic Model theory Symbol Peano axioms Constructible universe Lovász number Logic Mathematical logic Mathematics
274	On Acting Hector J. Levesque* Dept. of Computer Science University of Toronto Toronto, Ont. M5S lA4 Add to Reading List Source URL: teamcore.usc.edu Language: English - Date: 2008-10-22 17:53:52 Multi-agent systems Science Function Causality Action theory Philosophy GOAL agent programming language Mutual information Philosophy of science Mathematics Information theory
275	About Dekodiphukan (Decode-if-you-can) In the summer of 1973, my wife Mary and I began writing descriptions of our classrooms. The math descriptions became Mathematics Their Way and Mathematics... a Way of Thinking. The Add to Reading List Source URL: www.center.edu Language: English - Date: 2012-12-23 19:23:55 Mathematics Pedagogy Language education Math wars Education Mathematics education Education reform
276	From Navigation to Robotic-Assisted Surgery: Combined Planning in Discrete and Continuous Spaces Erion Plaku This work aims to deal formally and efficiently with the complexity of planning that arises at the intersection Add to Reading List Source URL: faculty.cua.edu Language: English - Date: 2014-10-28 09:35:43 Robot control Planning Domain Definition Language Control theory Robotics Obstacle avoidance Robot Applied mathematics Simulation Artificial intelligence Motion planning Theoretical computer science Automated planning and scheduling
277	Application of a Formal Specification Language in the Development of the “Mobile FeliCa” IC Chip Firmware for Embedding in Mobile Phone Yasumasa.Nakatsugawa Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-04 08:53:57 Specification language Functional specification Formal language Mathematics Applied mathematics Vienna Development Method Software development FeliCa
278	Semantics of Plan Revision in Intelligent Agents M. Birna van Riemsdijk John-Jules Ch. Meyer Frank S. de Boer Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2004-01-23 02:56:37 Computer science Models of computation Programming language semantics Denotational semantics Operational semantics State transition system Programming language Semantics Meta-programs Theoretical computer science Logic in computer science Applied mathematics
279	University of Lethbridge’s Participation in TREC-2007 QA Track Yllias Chali and Shafiq R. Joty Department of Mathematics and Computer Science University of Lethbridge 4401 University Drive Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2008-01-18 09:52:20 Information retrieval Natural language processing Linguistics Grammar Data collection Open domain question answering Question answering Question Text Retrieval Conference Computational linguistics Science Information science
280	1 Language-Processing Problems Roland Backhouse DIMACS, 8th July, 2003 Add to Reading List Source URL: dimacs.rutgers.edu Language: English - Date: 2003-07-15 12:47:55 Galois connection Order theory Function Spectral theory Adjoint functors Decomposition of spectrum Mathematics Mathematical analysis Abstract interpretation

UPDATE